famous female logician

Translations
известная женщина-логик
Ada Lovelace is often cited as a famous female logician.
Ада Лавлейс часто упоминается как известная женщина-логик.